Rational Univariate Reduction via toric resultants
نویسندگان
چکیده
منابع مشابه
Rational Univariate Reduction via toric resultants
We describe algorithms for solving a given system of multivariate polynomial equations via the Rational Univariate Reduction (RUR). We compute the RUR from the toric resultant of the input system. Our algorithms derandomize several of the choices made in similar prior algorithms. We also propose a new derandomized algorithm for solving an overdetermined system. Finally, we analyze the computati...
متن کاملImplicitization using univariate resultants
Among several implicitization methods, the method based on resultant computation is a simple and direct one, but it often brings extraneous factors which are difficult to remove. This paper studies a class of rational space curves and rational surfaces by implicitization with univariate resultant computations. This method is more efficient than the other algorithms in finding implicit equations...
متن کاملResultants and Subresultants: Univariate vs. Multivariate Case
It is very well-known that this system has a non-trivial solution if and only if AD −BC equals to zero. One can generalize the previous situation in two different directions. The most classical one is the notion of determinant, which is the condition under which a system of n homogeneous equations in n unknowns A11x1 + A12x2 + . . . + A1nxn = 0 A21x1 + A22x2 + . . . + A2nxn = 0 .. .. ...
متن کاملImproved algorithms for solving bivariate systems via Rational Univariate Representations
Given two coprime polynomials P and Q in Z[x, y] of degree bounded by d and bitsize bounded by τ , we address the problem of solving the system {P,Q}. We are interested in certified numerical approximations or, more precisely, isolating boxes of the solutions. We are also interested in computing, as intermediate symbolic objects, rational parameterizations of the solutions, and in particular Ra...
متن کاملSparse Rational Univariate Representation
We present explicit worst case degree and height bounds for the rational univariate representation of the isolated roots of polynomial systems based on mixed volume. We base our estimations on height bounds of resultants and we consider the case of 0-dimensional, positive dimensional, and parametric polynomial systems. CCS Concepts •Computing methodologies→ Symbolic calculus algorithms;
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2008
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2008.02.002